<?php
	function do_stuff() {
		return 1;
	}
?>
